An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
By Paolo Mancosu, Sergio Galvan, Richard Zach
Paperback
(2)
AED
165
68
AED 300.00
44% OFF
Free Delivery1 - 7 May
Moscow Has Ears Everywhere, 698: New Investigations on Pasternak and Ivinskaya
Moscow Has Ears Everywhere, 698: New Investigations on Pasternak and Ivinskaya
By Paolo Mancosu
Hardcover
AED
192
50
AED 332.00
42% OFF
Free Delivery6 - 12 May
Infini, Logique, Geometrie
Infini, Logique, Geometrie
By Paolo Mancosu
Paperback
AED
232
95
AED 440.00
47% OFF
Free Delivery6 - 12 May
Need Help?
+971 6 731 0280
support@gzb.ae
About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice
VisaMastercardCash on Delivery

© 2025 White Lion General Trading LLC. All rights reserved.